首页> 外文OA文献 >Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

【2h】

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

机译：走向基于符号模型的变异测试：结合可达性和细化检查

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bernhard K. Aichernig; Elisabeth Jöbstl;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Model-based mutation testing via symbolic refinement checking [J] . Bernhard K. Aichernig, Elisabeth Joebstl, Stefan Tiran Science of Computer Programming . 2015,第pta4期

机译：通过符号细化检查进行基于模型的变异测试
2. Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing [J] . Bernhard K. Aichernig, Martin Tappler Electronic Notes in Theoretical Computer Science . 2016,第7期

机译：基于模型的变异测试的符号输入-输出一致性检查
3. Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation [J] . Aichernig Bernhard K., Joebstl Elisabeth, Tappler Martin Journal of Logic and Algebraic Programming . 2016,第5Pta2期

机译：此故障会导致故障吗？在面向故障的测试用例生成中将细化与输入输出一致性检查相结合
4. Efficient Refinement Checking for Model-Based Mutation Testing [C] . Aichernig Bernhard K., Jobstl Elisabeth 12th International Conference on Quality Software. . 2012

机译：基于模型的变异测试的有效细化检查
5. Efficient reachability algorithms in symbolic model checking. [D] . Moon, In-Ho. 2000

机译：符号模型检查中的高效可达性算法。
6. Cost-effectiveness of programmed cell death ligand 1 testing and tumor mutational burden testing of immune checkpoint inhibitors for advanced non-small cell lung cancer [O] . Wen-Qian Li, Ling-Yu Li, Ri-Lan Bai, 2020

机译：编程细胞死亡配体的成本效益1检测和肿瘤突变检测免疫检查点抑制剂用于晚期非小细胞肺癌
7. Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking [O] . Bernhard K. Aichernig, Elisabeth Jöbstl 2012

机译：走向基于符号模型的变异测试：结合可达性和细化检查
8. Combining Symbolic and Partial Order Methods for Model Checking 1-Safe Petri Nets [R] . Heljanko, K. 2002

机译：结合符号和偏序方法进行模型检查1-安全petri网

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

著录项

引文网络

相似文献

相关主题

期刊订阅